#include <kernel.h>
#include <printk.h>
#include <mm.h>

char _text_start[], _text_end[], _data_start[], _data_end[], _bss_start[], _bss_end[];

void mem_info(void)
{
    printk("._text_start:0x%x\n", _text_start);
    printk("._text_end  :0x%x\n", _text_end);
    printk("._data_start:0x%x\n", _data_start);
    printk("._data_end  :0x%x\n", _data_end);
    printk("._bss_start :0x%x\n", _bss_start);
    printk("._bss_end   :0x%x\n", _bss_end);
}

void system_dump(void)
{
    printk("*=================== System Dump =================*\n");
    printk("*-------------------------------------------------*\n");
}